Interprétation abstraite appliquée à la Compilation et la Parallélisation en Programmation Logique = Optimizing Compilation and Parallel Scheduling of Logic Programs with Abstract InterpretationMallet, Olivier; Cousot, Patrick.1992, 234 p.Thesis

Abstract interpretation for improving WAM codeBALDAN, D; FILE, G.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63468-1, p. 364Conference Paper

Détermination statique des types pour le langage Set1 = Static type determination for the Set1 languageDubois Bocquet, Catherine; Donzeau-Gouge, Véronique.1989, 126 p.Thesis

Intelligent tutors for all : The constraint-based approach : Intelligent educational systemsMITROVIC, Antonija; MARTIN, Brent; SURAWEERA, Pramuditha et al.IEEE intelligent systems. 2007, Vol 22, Num 4, pp 38-45, issn 1541-1672, 8 p.Article

Membrane computing : Power, efficiency, applicationsPAUN, Gheorghe.Lecture notes in computer science. 2005, pp 396-407, issn 0302-9743, isbn 3-540-26179-6, 12 p.Conference Paper

Can abstract interpretation become a mainstream compiler technology?HARRISON, L.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63468-1, p. 395Conference Paper

Sémantiques des langages impératifs d'ordre supérieur et interprétation abstraite = Abstract intepretation of higher-order imperative languagesBourdoncle, François; Cousot, Patrick.1992, 258 p.Thesis

Automatic verification by abstract interpretationCOUSOT, Patrick.Lecture notes in computer science. 2003, pp 20-24, issn 0302-9743, isbn 3-540-00348-7, 5 p.Conference Paper

Model composition for scheduling analysis in platform designRICHTER, Kai; ZIEGENBEIN, Dirk; JERSAK, Marek et al.Design automation conference. 2002, pp 287-292, isbn 1-58113-461-4, 6 p.Conference Paper

Software model checking with abstraction refinementPODELSKI, Andreas.Lecture notes in computer science. 2003, pp 1-3, issn 0302-9743, isbn 3-540-00348-7, 3 p.Conference Paper

Combining norms to prove terminationGENAIM, Samir; CODISH, Michael; GALLAGHER, John et al.Lecture notes in computer science. 2002, pp 126-138, issn 0302-9743, isbn 3-540-43631-6Conference Paper

Verification, model checking, and abstract interpretation (7th international conference, VMCAI 2006, Charleston SC, USA, January 8-10, 2006)Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-31139-4, 1Vol, XI-442 p, isbn 3-540-31139-4Conference Proceedings

Data dependences as abstract interpretationsTZOLOVSKI, S.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63468-1, p. 366Conference Paper

Parameterizing a groundness analysis of logic programsLUNJIN LU.Lecture notes in computer science. 2001, pp 146-164, issn 0302-9743, isbn 3-540-42314-1Conference Paper

An abstract interpretation framework for analysing mobile ambientsLEVI, Francesca; MAFFEIS, Sergio.Lecture notes in computer science. 2001, pp 395-411, issn 0302-9743, isbn 3-540-42314-1Conference Paper

Behavior-based model constructionSTEFFEN, Bernhard; HUNGAR, Hardi.Lecture notes in computer science. 2003, pp 5-19, issn 0302-9743, isbn 3-540-00348-7, 15 p.Conference Paper

Meta-programming middleware for distributed object computingBREITLING, Peter.Lecture notes in computer science. 2003, pp 41-48, issn 0302-9743, isbn 3-540-20529-2, 8 p.Conference Paper

Optimising active database rules by partial evaluation and abstract interpretationBAILEY, James; POULOVASSILIS, Alexandra; COURTENAGE, Simon et al.Lecture notes in computer science. 2002, pp 300-317, issn 0302-9743, isbn 3-540-44080-1, 18 p.Conference Paper

Transformation based communication and clock domain refinement for system designSANDER, Ingo; JANTSCH, Axel.Design automation conference. 2002, pp 281-286, isbn 1-58113-461-4, 6 p.Conference Paper

Higher-precision groundness analysisCODISH, Michael; GENAIM, Samir; SØNDERGAARD, Harald et al.Lecture notes in computer science. 2001, pp 135-149, issn 0302-9743, isbn 3-540-42935-2Conference Paper

The trace partitioning abstract domainRIVAL, Xavier; MAUBORGNE, Laurent.ACM transactions on programming languages and systems. 2007, Vol 29, Num 5, issn 0164-0925, b39-b89Conference Paper

Relative safetyJAFFAR, Joxan; SANTOSA, Andrew E; VOICU, Ravan et al.Lecture notes in computer science. 2006, pp 282-297, issn 0302-9743, isbn 3-540-31139-4, 1Vol, 16 p.Conference Paper

Widening Polyhedra with LandmarksSIMON, Axel; KING, Andy.Lecture notes in computer science. 2006, pp 166-182, issn 0302-9743, isbn 3-540-48937-1, 1Vol, 17 p.Conference Paper

Testing for termination with monotonicity constraintsCODISH, Michael; LAGOON, Vitaly; STUCKEY, Peter J et al.Lecture notes in computer science. 2005, pp 326-340, issn 0302-9743, isbn 3-540-29208-X, 1Vol, 15 p.Conference Paper

A complete abstract interpretation framework for coverability properties of WSTSGANTY, Pierre; RASKIN, Jean-Francois; VAN BEGIN, Laurent et al.Lecture notes in computer science. 2006, pp 49-64, issn 0302-9743, isbn 3-540-31139-4, 1Vol, 16 p.Conference Paper